\documentclass[11pt,handout]{beamer}
\usepackage[ngerman]{babel}
\usepackage[utf8]{inputenc}
\usepackage{color}
\usepackage{fancybox}
\usepackage{tikz}
\usetikzlibrary{shapes}
\usepackage{tikz-qtree}
\usepackage{cancel}
\usepackage{semantic}
\usepackage{ stmaryrd }
\definecolor{darkolive}{rgb}{0.667,0.604,0.016}
\definecolor{darkgreen}{rgb}{0.078,0.667,0.016}
\definecolor{light-gray}{gray}{0.75}
\usepackage{beamerthemeCambridgeUS}
\usecolortheme{orchid}
\setbeamercolor{block title}{bg=darkred,fg=white}
\setbeamerfont{structure}{series=\bfseries} 
 
\setbeamertemplate{footline}
{
  \leavevmode%
  \hbox{%
  \begin{beamercolorbox}[wd=.333333\paperwidth,ht=2.25ex,dp=1ex,center]{author in head/foot}%
    \usebeamerfont{author in head/foot}\insertshortauthor%~~\beamer@ifempty{\insertshortinstitute}{}{(\insertshortinstitute)}
  \end{beamercolorbox}%
  \begin{beamercolorbox}[wd=.333333\paperwidth,ht=2.25ex,dp=1ex,center]{title in head/foot}%
    \usebeamerfont{title in head/foot}\insertshorttitle
  \end{beamercolorbox}%
  \begin{beamercolorbox}[wd=.333333\paperwidth,ht=2.25ex,dp=1ex,right]{date in head/foot}%
    \usebeamerfont{date in head/foot}\insertshortdate{}\hspace*{2em}
    \insertframenumber{} / \inserttotalframenumber\hspace*{2ex} 
  \end{beamercolorbox}}%
  \vskip0pt%
}

\bibliographystyle{alpha}

% section without circle
\setbeamertemplate{sections/subsections in toc}[sections numbered]
% subsection as bullet
\setbeamertemplate{subsection in toc}
  {\leavevmode\leftskip=2em$\bullet$\hskip1em\inserttocsubsection\par}
  
% itemize style
\setbeamertemplate{itemize items}[circle] % if you want a ball
\setbeamercolor{itemize item}{bg=black, fg=black} 
\setbeamercolor{itemize subitem}{parent=itemize item}
\setbeamercolor{itemize subsubitem}{parent=itemize subitem}
\setbeamertemplate{itemize subitem}[circle] % if you wnat a circle
\setbeamertemplate{itemize subsubitem}[circle] 

% enumerate style
\setbeamertemplate{enumerate items}[default]
\setbeamercolor*{enumerate item}{fg=black}
\setbeamercolor*{enumerate subitem}{fg=black}
\setbeamercolor*{enumerate subsubitem}{fg=black}

%gets rid of navigation symbols
\setbeamertemplate{navigation symbols}{}
\setbeamertemplate{bibliography item}[text]
\usepackage{graphicx}
\usepackage{tikz}
\usetikzlibrary{trees,decorations,arrows,automata,shadows,positioning,plotmarks}

%% Enable license helpers
\input{cc_beamer}

%% Metadata
\title[Model-Checking]{Model-Checking von Stateflow-Modellen}
\subtitle{Softwarequalitätsmanagement im ASE (SoSe 13)}
\author[Brodmann, Jungnickel, Peuser]{Paul-David Brodmann, Tim Jungnickel, Sebastian Peuser}
\date{\today}
%\logo{\includegraphics[scale=0.25]{pictures/TUBerlin_Logo.pdf}}
%\setlength{\leftmargin}{1.1em}
%\setlength{\leftmargini}{1.1em}
%\setlength{\leftmarginii}{1.1em}
%\setlength{\leftmarginiii}{1.1em}

% item2desc
\newcommand{\idec[1]}{\item[\textcolor{darkgreen}{#1}]}
\newcommand{\matharray}[2]{\begin{equation*}\begin{array}{#1}#2\end{array}\end{equation*}}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\makeatletter
\long\def\***@descriptionitem#1{%
\def\insertdescriptionitem{#1\hfill}%
\hspace\labelsep{\usebeamertemplate**{description item}}}
\makeatother

%% Titlepage
\begin{frame}
	\titlepage
	\vfill
	\begin{center}
		\CcGroupBySa{0.83}{0.95ex}\\[2.5ex]
		{\tiny\CcNote{\CcLongnameBySa}}\\[1ex]
		\tiny Technische Universität Berlin, Fachgebiet für Softwaretechnik (SWT)
		%\includegraphics[scale=0.5]{pictures/TUBerlin_Logo.pdf}
	\end{center}
\end{frame}
\,\:\;
%% YOUR SLIDES HERE

\begin{frame}
\frametitle{Agenda}
\tableofcontents
\end{frame}

\section{Einleitung}
\input{input/Einleitung.tex}

\section{Computation Tree Logic (CTL)}
\begin{frame}
\frametitle{Agenda}
\tableofcontents[currentsection]
\end{frame}
\input{input/CTL.tex}
%\input{input/CTLTrees.tex}

\section{Model-Checking von Stateflow Modellen}
\begin{frame}
\frametitle{Agenda}
\tableofcontents[currentsection]
\end{frame}
\input{input/model-checking.tex}

\section{Zusammenfassung}
\input{input/Zusammenfassung.tex}
\nocite{Helke}
\nocite{2012}
\nocite{2009}
\begin{frame}{Literatur}
%\frametitle{References}
\bibliography{bibo}
%\appendix
\end{frame}
\end{document}